Proof of knowledge - PDFSEARCH.IO - Document Search Engine

Proof of knowledge
Results: 441

#	Item
71	OHIO DEPARTMENT OF PUBLIC SAFETY BUREAU OF MOTOR VEHICLES APPLICATION FOR PROOF FILING / CANCELLATION (SR22 / SR26) WEB ACCESS Add to Reading List Source URL: publicsafety.ohio.gov Language: English - Date: 2015-04-16 08:53:54 Department of Motor Vehicles Email Insurance Economics Knowledge Technology Financial institutions Institutional investors SR22
72	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
73	Nature of Mathematical Reasoning: Spring 2013 Time & Location: Monday, Wednesday 11:30 – 12:20 PM PH A22 Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-03-10 03:37:55 Mathematical logic Education reform Homework Standards-based education Philosophy of mathematics Mathematical proof Plagiarism Reason If and only if Knowledge Mathematics Logic
74	Logic Journal of IGPL Advance Access published August 9, 2007 Logic for Mathematical Writing EDMUND HARRISS, Department of Mathematics, Imperial College London, London SW7 2AZ. E-mail: . Add to Reading List Source URL: www.mathematicians.org.uk Language: English - Date: 2009-09-28 10:54:02 Mathematical logic Philosophy of mathematics Abstraction Axiology Mathematical proof Axiom Combinatory logic Natural deduction David Hilbert Mathematics Logic Knowledge
75	A Form for Referees in Theoretical Computer Science∗ Ian Parberry† Department of Computer Science & Engineering University of North Texas September 20, 2007 Add to Reading List Source URL: larc.unt.edu Language: English - Date: 2011-05-12 16:09:28 Academic literature Academic publishing Peer review Scientific method Science Computer Pi Mathematical proof Knowledge Mathematics Mathematical logic
76	Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols José Bacelar Almeida Manuel Barbosa Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Applied mathematics Proof of knowledge Zero-knowledge proof IP Communications protocol Vehicle Identification Number Formal verification NP XTR Theoretical computer science Cryptography Cryptographic protocols
77	Batch Proofs of Partial Knowledge Ryan Henry and Ian Goldberg Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada N2L 3G1 Add to Reading List Source URL: cacr.uwaterloo.ca Language: English - Date: 2013-02-12 09:54:17 Zero-knowledge proof IP Soundness Commitment scheme NP Interactive proof system Non-interactive zero-knowledge proof Cryptography Cryptographic protocols Proof of knowledge
78	Batch Proofs of Partial Knowledge? Ryan Henry and Ian Goldberg Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada N2L 3G1 Add to Reading List Source URL: www.cypherpunks.ca Language: English - Date: 2013-05-03 09:29:37 Proof of knowledge Zero-knowledge proof IP Soundness Commitment scheme NP Interactive proof system Non-interactive zero-knowledge proof Cryptography Cryptographic protocols Theoretical computer science
79	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
80	Difference, Cognition, and Mathematics Education* VALERIE WALKERDINE An invited talk given to the International Group for the Psychology of Mathematics Education Mexico City, July 1990 Add to Reading List Source URL: flm-journal.org Language: English* - Date: 2014-05-15 16:16:03 Mathematics education Philosophy of mathematics Reason Logic Education Mathematical analysis Mathematician Mathematical proof Ethnomathematics Knowledge Mathematics Science

UPDATE